Search Results

[ICFP'23] A General Fine-Grained Reduction Theory for Effect Handlers

[ICFP'23] A General Fine-Grained Reduction Theory for Effect Handlers

[PEPM'23] Towards a Reflection for Effect Handlers

[PEPM'23] Towards a Reflection for Effect Handlers

[ICFP'23] Grand Ballroom 2

[ICFP'23] Grand Ballroom 2

[ICFP'23] The Cogent and Dargent approach to facilitating verified software development (Keynote)

[ICFP'23] The Cogent and Dargent approach to facilitating verified software development (Keynote)

[ICFP'23] Grand Ballroom 2

[ICFP'23] Grand Ballroom 2

Efficient Compilation of Algebraic Effect Handlers

Efficient Compilation of Algebraic Effect Handlers

[ICFP'23] Grand Ballroom 2

[ICFP'23] Grand Ballroom 2

[ICFP'23] Fifth Avenue

[ICFP'23] Fifth Avenue

[ICFP'24] Green - ICFP Papers and Events (Sep 4th)

[ICFP'24] Green - ICFP Papers and Events (Sep 4th)

[POPL 2021] A Separation Logic for Effect Handlers (full)

[POPL 2021] A Separation Logic for Effect Handlers (full)

[HOPE'23] Event-Driven Multiparty Session Actors

[HOPE'23] Event-Driven Multiparty Session Actors

[POPL 2021] Asynchronous Effects (full)

[POPL 2021] Asynchronous Effects (full)